Affine Consistency and the Complexity of Semilinear Constraints

نویسندگان

  • Peter Jonsson
  • Johan Thapper
چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Constraint Satisfaction and Semilinear Expansions of Addition over the Rationals and the Reals

A semilinear relation is a finite union of finite intersections of open and closed half-spaces over, for instance, the reals, the rationals, or the integers. Semilinear relations have been studied in connection with algebraic geometry, automata theory, and spatiotemporal reasoning. We consider semilinear relations over the rationals and the reals. Under this assumption, the computational comple...

متن کامل

Efficient elliptic curve cryptosystems

Elliptic curve cryptosystems (ECC) are new generations of public key cryptosystems that have a smaller key size for the same level of security. The exponentiation on elliptic curve is the most important operation in ECC, so when the ECC is put into practice, the major problem is how to enhance the speed of the exponentiation. It is thus of great interest to develop algorithms for exponentiation...

متن کامل

Singular Perturbation Theory in Output Feedback Control of Pure-Feedback Systems

This paper studies output feedback control of pure-feedback systems with immeasurable states and completely non-affine property. Since availability of all the states is usually impossible in the actual process, we assume that just the system output is measurable and the system states are not available. First, to estimate the immeasurable states a state observer is designed. Relatively fewer res...

متن کامل

An efficient one-layer recurrent neural network for solving a class of nonsmooth optimization problems

Constrained optimization problems have a wide range of applications in science, economics, and engineering. In this paper, a neural network model is proposed to solve a class of nonsmooth constrained optimization problems with a nonsmooth convex objective function subject to nonlinear inequality and affine equality constraints. It is a one-layer non-penalty recurrent neural network based on the...

متن کامل

Feedback Spreading Control under Speed Constraints

This paper is concerned with the control of spread in semilinear parabolic systems. It first introduces a formula in order to measure the speed of a spread. Then feedback spreading control laws under speed constraints are studied by a set-valued approach. The optimality of such laws is examined in the case in which the system is affine dependent upon the control.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2014